home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / art / invlines.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  2.7 KB  |  87 lines
  1. .geometry "version 0.1";
  2. v55 = .free(0.336957, 0.769022, .invisible, "1");
  3. v66 = .free(0.589674, 0.771739, .invisible, "2");
  4. l = .len.vv(v55, v66);
  5. vctr = .free(-0.013587, 0.0461957);
  6. cctr = .c.vlen(vctr, l);
  7. v2 = .free(0.3, 0, .invisible);
  8. v21 = .free(0.3, 0.1, .invisible);
  9. l2 = .l.vv(v2, v21, .longline);
  10. v3 = .free(0.5, 0, .invisible);
  11. v31 = .free(0.5, 0.1, .invisible);
  12. l3 = .l.vv(v3, v31, .longline);
  13. v4 = .free(0.7, 0, .invisible);
  14. v41 = .free(0.7, 0.1, .invisible);
  15. l4 = .l.vv(v4, v41, .longline);
  16. v5 = .free(0.9, 0, .invisible);
  17. v51 = .free(0.9, 0.1, .invisible);
  18. l5 = .l.vv(v5, v51, .longline);
  19. v6 = .free(-0.1, 0, .invisible);
  20. v61 = .free(-0.1, 0.1, .invisible);
  21. l6 = .l.vv(v6, v61, .longline);
  22. v7 = .free(-0.3, 0, .invisible);
  23. v71 = .free(-0.3, 0.1, .invisible);
  24. l7 = .l.vv(v7, v71, .longline);
  25. v8 = .free(-0.5, 0, .invisible);
  26. v81 = .free(-0.5, 0.1, .invisible);
  27. l8 = .l.vv(v8, v81, .longline);
  28. v9 = .free(-0.7, 0, .invisible);
  29. v91 = .free(-0.7, 0.1, .invisible);
  30. l9 = .l.vv(v9, v91, .longline);
  31. v1 = .free(-0.9, 0, .invisible);
  32. v11 = .free(-0.9, 0.1, .invisible);
  33. l1 = .l.vv(v1, v11, .longline);
  34. v0 = .free(0.1, 0, .invisible);
  35. v01 = .free(0.1, 0.1, .invisible);
  36. l0 = .l.vv(v0, v01, .longline);
  37. xv2 = .free(0, 0.3, .invisible);
  38. xv21 = .free(0.1, 0.3, .invisible);
  39. xl2 = .l.vv(xv2, xv21, .longline);
  40. xv3 = .free(0, 0.5, .invisible);
  41. xv31 = .free(0.1, 0.5, .invisible);
  42. xl3 = .l.vv(xv3, xv31, .longline);
  43. xv4 = .free(0, 0.7, .invisible);
  44. xv41 = .free(0.1, 0.7, .invisible);
  45. xl4 = .l.vv(xv4, xv41, .longline);
  46. xv5 = .free(0, 0.9, .invisible);
  47. xv51 = .free(0.1, 0.9, .invisible);
  48. xl5 = .l.vv(xv5, xv51, .longline);
  49. xv6 = .free(0, -0.1, .invisible);
  50. xv61 = .free(0.1, -0.1, .invisible);
  51. xl6 = .l.vv(xv6, xv61, .longline);
  52. xv7 = .free(0, -0.3, .invisible);
  53. xv71 = .free(0.1, -0.3, .invisible);
  54. xl7 = .l.vv(xv7, xv71, .longline);
  55. xv8 = .free(0, -0.5, .invisible);
  56. xv81 = .free(0.1, -0.5, .invisible);
  57. xl8 = .l.vv(xv8, xv81, .longline);
  58. xv9 = .free(0, -0.7, .invisible);
  59. xv91 = .free(0.1, -0.7, .invisible);
  60. xl9 = .l.vv(xv9, xv91, .longline);
  61. xv1 = .free(0, -0.9, .invisible);
  62. xv11 = .free(0.1, -0.9, .invisible);
  63. xl1 = .l.vv(xv1, xv11, .longline);
  64. xv0 = .free(0, 0.1, .invisible);
  65. xv01 = .free(0.1, 0.1, .invisible);
  66. xl0 = .l.vv(xv0, xv01, .longline);
  67. c0 = .c.lcinv(l0, cctr);
  68. c1 = .c.lcinv(l1, cctr);
  69. c2 = .c.lcinv(l2, cctr);
  70. c3 = .c.lcinv(l3, cctr);
  71. c4 = .c.lcinv(l4, cctr);
  72. c5 = .c.lcinv(l5, cctr);
  73. c6 = .c.lcinv(l6, cctr);
  74. c7 = .c.lcinv(l7, cctr);
  75. c8 = .c.lcinv(l8, cctr);
  76. c9 = .c.lcinv(l9, cctr);
  77. xc0 = .c.lcinv(xl0, cctr);
  78. xc1 = .c.lcinv(xl1, cctr);
  79. xc2 = .c.lcinv(xl2, cctr);
  80. xc3 = .c.lcinv(xl3, cctr);
  81. xc4 = .c.lcinv(xl4, cctr);
  82. xc5 = .c.lcinv(xl5, cctr);
  83. xc6 = .c.lcinv(xl6, cctr);
  84. xc7 = .c.lcinv(xl7, cctr);
  85. xc8 = .c.lcinv(xl8, cctr);
  86. xc9 = .c.lcinv(xl9, cctr);
  87.